.*Assembler messages:
.*Error: unrecognized opcode `vt.maskc a0,a1,a2'
.*Error: unrecognized opcode `vt.maskcn a0,a3,a4'
